2
Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning

Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning

년:
2001
언어:
english
파일:
PDF, 422 KB
0 / 0
english, 2001
10
Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

년:
2013
언어:
english
파일:
PDF, 5.19 MB
0 / 0
english, 2013
28
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
언어:
spanish
파일:
PDF, 5.07 MB
0 / 0
spanish, 2013
30
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
언어:
spanish
파일:
EPUB, 1.40 MB
0 / 0
spanish, 2013
31
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
언어:
spanish
파일:
AZW3 , 2.01 MB
0 / 0
spanish, 2013
32
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
언어:
spanish
파일:
MOBI , 1.78 MB
0 / 0
spanish, 2013
33
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
언어:
spanish
파일:
FB2 , 3.00 MB
0 / 0
spanish, 2013
34
LNCS 7797 - Programming Logics

LNCS 7797 - Programming Logics

년:
2013
파일:
LIT , 1.37 MB
0 / 0
2013
35
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

년:
2011
언어:
english
파일:
PDF, 6.40 MB
0 / 0
english, 2011